<?xml version='1.0'?>

<gl_extension name="EGL_HI_colorformats" reg_no="25">
	<tokens>
		<token name="EGL_COLOR_FORMAT_HI" value="0x8F70"/>
		<token name="EGL_COLOR_RGB_HI" value="0x8F71"/>
		<token name="EGL_COLOR_RGBA_HI" value="0x8F72"/>
		<token name="EGL_COLOR_ARGB_HI" value="0x8F73"/>
	</tokens>
</gl_extension>
